⟸ pàgina anterior ⟸

Exercici 10 (Tasca 4).

(context-free languages, ambiguity)

Condicions suficients per la inambigüitat

Considereu les condicions següents per a una gramàtica incontextual:

1. Cada producció té un màxim d’una variable a la part dreta.
2. Els llenguatges generats a partir de dues produccions diferents d’una variable sempre són disjunts.

Demostreu que tota gramàtica incontextual que satisfaci les condicions anteriors ha de ser inambigua.